autoepistemic logic
[网络] 自动认识逻辑；自认知逻辑
热门查询
- crossly adv. 横地；故意为难地；相反地；发怒地
- heartwood n. （树木的）心材
- Avonmouth 埃文茅斯
- infanticide n. 杀婴，杀婴者；杀婴犯；杀婴罪
- propinquity n. 接近；邻近；近亲关系
- shortlived a. 短命的；短暂的
- sweet n. 糖果；乐趣；芳香；宝贝 adj. 甜的；悦耳的；芳香的；亲切的 （俚）酷毙了 n. (Sweet)人名；(英)斯威特
- abbey n. 大修道院，大寺院；修道院中全体修士或修女 n. (Abbey)人名；(法)阿贝；(英)阿比(教名Abigail的昵称)
- Wyn abbr. Wyndham; Western Australia; Australia 澳大利亚; 西澳大利亚温德姆机场（代码）
- sambar n. [脊椎] 水鹿；[脊椎] 黑鹿（东南亚产的一种大鹿）
- pouffe n. 大坐垫，软躺椅
- exoteric n. 局外人；外行 adj. 开放的；外界的；通俗的
- chardonnay n. 夏敦埃酒（一种类似夏布利酒的无甜味白葡萄酒）
- stolen v. 偷窃；剽窃（steal的过去分词） adj. 偷走的
- animation n. 活泼，生气；激励；卡通片绘制
- solvent n. 溶剂；解决方法 adj. 有偿付能力的；有溶解力的
- Parisienne 巴黎黑色薄花呢；小花纹丝织物
- dweller n. 居民，居住者
- diplodocus n. 梁龙（恐龙的一种）
- HOMO n. 人，人类；同性恋者 n. (Homo)人名；(日)保母(姓)；(法)奥莫
考试词汇表
- character input/output
- character interleaving
- character load routine
- character manipulation
- character matrix plate
- character mean entropy
- character mode display
- character of operation
- character of weighting
- character parity check
- character polarization
- character presentation
- character segmentation
- character set override
- character significance
- character size control
- character special file
- character storage tube
- character storage unit
- character synchronized
